Duplicate type definition